Lecture: Formally Evaluating Arguments